#include <linux/memblock.h>

extern void bootcon_sbi_init(void);
extern void first_memheap_init(void *start, void *end);

extern unsigned int __bss_end;

#define HEAP_BEGIN ((void *)&__bss_end)

void machine_init(void)
{
    bootcon_sbi_init();

    first_memheap_init(HEAP_BEGIN, HEAP_BEGIN + 1024*1024*2);

    memblock_add(0x80000000, 64 * 1024 * 1024);
}
